『How to Make a Correct Multiprocess Program Execute Correctly on a Multiprocessor』